منابع مشابه
Towards Log-Linear Logics with Concrete Domains
We present MEL (M denotes Markov logic networks) an extension of the log-linear description logics EL-LL with concrete domains, nominals, and instances. We use Markov logic networks (MLNs) in order to find the most probable, classified and coherent EL ontology from an MEL knowledge base. In particular, we develop a novel way to deal with concrete domains (also known as datatypes) by extending M...
متن کاملTemporal Planning in Domains with Linear Processes
We consider the problem of planning in domains with continuous linear numeric change. Such change cannot always be adequately modelled by discretisation and is a key facet of many interesting problems. We show how a forward-chaining temporal planner can be extended to reason with actions with continuous linear effects. We extend a temporal planner to handle numeric values using linear programmi...
متن کاملLinear and Directional Domains with Cauchy Probability Distributions
The usual domains for Cauchy distributions have been straight lines and unit circles. These domains are closed under arbitrary changes in location and scale, whether done sequentially or simultaneously. Such closure properties have been extended to spherical Cauchy distributions. Higher dimensional Cauchy based domains are created herein for unit hyperspheres and sets of straight lines of arbit...
متن کاملA note on the problem when FS-domains coincide with RB-domains
In this paper, we introduce the notion of super finitely separating functions which gives a characterization of RB-domains. Then we prove that FS-domains and RB-domains are equivalent in some special cases by the following three claims: a dcpo is an RB-domain if and only if there exists an approximate identity for it consisting of super finitely separating functions; a consistent join-semilatti...
متن کاملPiecewise Linear–Linear Latent Growth Mixture Models With Unknown Knots
Latent growth curve models with piecewise functions are flexible and useful analytic models for investigating individual behaviors that exhibit distinct phases of development in observed variables. As an extension of this framework, this study considers a piecewise linear–linear latent growth mixture model (LGMM) for describing segmented change of individual behavior over time where the data co...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the Belgian Mathematical Society - Simon Stevin
سال: 1994
ISSN: 1370-1444
DOI: 10.36045/bbms/1103408458